$\forall$${\it es}$:ES, $i$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type. ($\forall$$x$:Id. vartype($i$;$x$) $\subseteq\rho$ ${\it ds}$($x$)?Top) $\Rightarrow$ state@$i$ $\subseteq\rho$ State(${\it ds}$)